оператор абстракции

См. также в других словарях:

• ОПЕРАТОР АБСТРАКЦИИ — оператор функциональной абстракции, λ о п е р а т о р, – логический символ [знак λ, после к рого ставится переменная (переменные) ], служащий для выражения операции абстрагирования функции (в т.ч. логич. функции, или предиката) как особого… …   Философская энциклопедия

• АБСТРАКЦИЯ — (от лат. abstractio отвлечение, отделение) процесс мысленного отвлечения одних свойств и отношений вещей и явлений от других. А. отождествления выделяет общее свойство объектов путем установления отношения эквивалентности или равенства между ними …   Философская энциклопедия

• ИЗОЛИРУЮЩАЯ АБСТРАКЦИЯ — мысленное выделение словесно обозначаемого отд. признака к. л. предмета или предметов, соответствующего тому или иному их свойству или их отношению к др. предметам; при этом выделенный признак мыслится изолированным от др. признаков, охватывающих …   Философская энциклопедия

• ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …   Философская энциклопедия

• ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …   Философская энциклопедия

• ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

• Лямбда-исчисление — (λ исчисление)  формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… …   Википедия

• Λ-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… …   Википедия

• Ламбда-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… …   Википедия

• Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… …   Википедия

• ОПИСАНИЯ ОПЕРАТОРЫ — (операторы дескрипции) – логич. операторы, посредством к рых вводятся в рассмотрение т.н. описания (описательные о п р е д е л е н и я) – языковые конструкции (выражения), играющие роль собств. имен (в дополнение к собств. именам, входящим в… …   Философская энциклопедия